Topological Features of Lax Algebras
نویسندگان
چکیده
Having as starting point Barr’s description of topological spaces as lax algebras for the ultrafilter monad [2], in this paper we present further topological examples of lax algebras – such as quasi-metric spaces, approach spaces and quasi-uniform spaces – and show that, in a suitable setting, the categories of lax algebras have indeed a topological nature. Furthermore, we generalize to this setting known properties of special categories of lax algebras and, extending the construction of Manes [12], we describe the Čech-Stone compactification of lax algebras. Mathematics Subject Classification: 18C20, 18A40, 18B30, 54B30, 54A20, 54E15.
منابع مشابه
On lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کاملUniversality of Coproducts in Categories of Lax Algebras
Categories of lax (T, V )-algebras are shown to have pullbackstable coproducts if T preserves inverse images. The general result not only gives a common proof of this property in many topological categories but also shows that important topological categories, like the category of uniform spaces, are not presentable as a category of lax (T, V )-algebras, with T preserving inverse images. Moreov...
متن کاملProper Maps for Lax Algebras and the Kuratowski-mrówka Theorem
The characterization of stably closed maps of topological spaces as the closed maps with compact fibres and the role of the Kuratowski-Mrówka’ Theorem in this characterization are being explored in the general context of lax (T, V )-algebras, for a quantale V and a Setmonad T with a lax extension to V -relations. The general results are being applied in standard (topological and metric) and non...
متن کاملA Kleisli-based Approach to Lax Algebras
By exploiting the description of topological spaces by either neighborhood systems or filter convergence, we obtain a neighborhood-like presentation of categories of lax algebras. The simplicity of this presentation pinpoints the importance of the Kleisli extension, which is introduced as a particular lax extension of the associated monad functor.
متن کاملCanonical and Op-canonical Lax Algebras
The definition of a category of (T,V)-algebras, where V is a unital commutative quantale and T is a Set-monad, requires the existence of a certain lax extension of T. In this article, we present a general construction of such an extension. This leads to the formation of two categories of (T,V)-algebras: the category Alg(T,V) of canonical (T,V)-algebras, and the category Alg(T′,V) of op-canonica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 11 شماره
صفحات -
تاریخ انتشار 2003